Modeling Safety-Critical Systems with Z and Petri Nets.

Monika Heiner, Maritta Heisel

Browse the full SAFECOMP paper archive.