Title: Biblio RTF Export
Author: Biblio 7.x

Sengupta B, Cleaveland R.  2005.  An integrated framework for scenarios and state machines. Integrated Formal Methods. :366-385.