Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008 | DealShopping Deutschland