Model based framework for testing distributed systemsPal, Deepak; Vain, JüriProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 91-94 : ill