Richard Lipka Tomas Potuzak Premek Brada Pavel Herout SimCo - Hybrid Simulator for Testing of Component Based Applications. 420-431 2013 conf/sofsem/2013 SOFSEM https://doi.org/10.1007/978-3-642-35843-2_36 db/conf/sofsem/sofsem2013.html#LipkaPBH13