Inferring synchronization under limited observability (2009)

by M T Vechev, E Yahav, G Yorsh
Venue:In Proc. of TACAS, LNCS 5505