McFSM: Globally Taming Complex Systems.

Florian Murr, Wolfgang Mauerer

Browse the full ICSE paper archive.