Rule-Based Refinement of HighLevel Nets Preserving Safety Properties (1998)

by J Padberg, M Gajewsky, C Ermel
Venue:Fundamental approaches to Software Engineering