Hana De-Leon;Orna Grumberg
-;-
Architecture-driven verification of concurrent systems
Nordic Journal of Computing