Reactive EFSMs - Reactive Promela/RSPIN.

Elie Najm, Frank Olsen

Browse the full TACAS paper archive.