Publications time Properties of Embedded Systems via Graph Transformations and Model Checking, Real- Time Systems, Special Issue: Invited Papers from the 25th IEEE International Real-Time Systems Symposium, Volume 33, Numbers 1-3, Pages 77-100, July 2006