Rule-based refinement of high-level nets preserving safety properties (0)

by J Padberg, M Gajewsky, C Ermel
Venue:Science of Computer Programming, 40:97–118, 2001. www.elsevier.nl/locate/scico . 167