Alessio Lomuscio Franco Raimondi The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. 29-42 2006 conf/dalt/2006 DALT http://dx.doi.org/10.1007/11961536_3 db/conf/dalt/dalt2006.html#LomuscioR06