A comparative survey of scenario-based to state-based model synthesis approaches.

Hongzhi Liang Jürgen Dingel Zinovy Diskin A comparative survey of scenario-based to state-based model synthesis approaches. 5-12 2006 conf/scesm/2006 SCESM http://doi.acm.org/10.1145/1138953.1138956 db/conf/scesm/scesm2006.html#LiangDD06