Generalizing the Submodule Construction Techniques for Extended State Machine Models.

Bassel Daou Gregor von Bochmann Generalizing the Submodule Construction Techniques for Extended State Machine Models. 191-195 2006 conf/forte/2006 FORTE http://dx.doi.org/10.1007/11888116_15 db/conf/forte/forte2006.html#DaouB06