The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach.

Michel Barbeau, Gregor von Bochmann

Browse the full CAV paper archive.