Rule-based refinement of high-level nets preserving safety properties Padberg, Julia Gajewsky, Magdalena Ermel, Claudia 2001 - ReposIt