Julia Padberg Magdalena Gajewsky Claudia Ermel Rule-based refinement of high-level nets preserving safety properties. 97-118 2001 40 Sci. Comput. Program. 1 db/journals/scp/scp40.html#PadbergGE01