Keijo Heljanko Alin Stefanescu Complexity Results for Checking Distributed Implementability. 78-87 2005 conf/acsd/2005 ACSD http://doi.ieeecomputersociety.org/10.1109/ACSD.2005.7 db/conf/acsd/acsd2005.html#HeljankoS05