Marcin Jurdziński

• Formal Modeling and Analysis of Timed Systems