Best paper award CSSE 2011

The contribution "Formal Modeling and Analysis of Hybrid Systems in Rewriting Logic using Higher-Order Numerical Methods and Discrete-Event Detection" by Muhammad Fadlisyah (PMA), Peter Csaba Ölveczky (PMA), and Erika Abraham (RWTH Aachen) received the award as "best paper"  at CSSE 2011 (the CSI International Symposium on Computer Science and Software Engineering).