"Abstractions for validation in action" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012. 7320 LNCS:192-218