publication venue for Real time control for autonomous mobile robots. 51:251-270. 2002 Verification of Non-functional Properties of a Composable Architecture with Petrinets. 51:185-200. 2002