"Model checker execution reports" (2017) Castano, R.;Braberman, V.;Garbervetsky, D. (
...)College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software Engineering 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017:200-205
10.1109/ASE.2017.8115633
paper_97815386_v_n_p200_Castano