Ales Plsek Jirí Adámek Carmen: Software Component Model Checker. 71-85 2008 QoSA http://dx.doi.org/10.1007/978-3-540-87879-7_5 conf/qosa/2008 db/conf/qosa/qosa2008.html#PlsekA08