Jan Richling Louchka Popova-Zeugmann Matthias Werner Verification of Non-functional Properties of a Composable Architecture with Petrinets. 185-200 2002 51 Fundam. Inform. 1-2 db/journals/fuin/fuin51.html#RichlingPW02