Rule-based refinement of high-level nets preserving safety properties Padberg, Julia Gajewsky, Magdalena Ermel, Claudia 2001 - ReposIt
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems Padberg, Julia Hoffmann, Kathrin Gajewsky, Magdalena 2000 - ReposIt