Formal Verification of Statecharts with Instantaneous Chain Reaction.

Jan Philipps, Peter Scholz

Browse the full TACAS paper archive.