1. UPPAAL – now, next, and future. In;Amnell,2001
2. Rigorous component-based system design using the BIP framework;Basu;IEEE Sw.,2011
3. A tutorial on UPPAAL;Behrmann,2004
4. Blanco, E. et al. (2011) UNICOS evolution: CPC version 6. In 12th ICALEPCS.
5. Certifying compilers using higher-order theorem provers as certificate checkers;Blech;Formal Methods in System Design,2011