Virbitskaite I., Fleischhack H., Dedova A. Real arithmetic based verification of prioritized time Petri nets with parameters // Computer Science. — 2010. — # 31 — P. 179-193
