In: Informatics in Control, Automation and Robotics. 9th International Conference, ICINCO 2012 Lecture Notes in Electrical Engineering (283) Springer, Berlin, pp. 115-130.
Worst-Case Performance Analysis in ℓ1 -norm for an Automated Heavy Vehicle Platoon
COMPUTERS & CHEMICAL ENGINEERING, 18 (Suppl.)., pp. S565-S569.
Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3)