An Integrated Framework for Scenarios and State Machines.

Bikram Sengupta, Rance Cleaveland

Browse the full IFM paper archive.