Daniel Gajski Eugenio Villar Wolfgang Rosenstiel Vassilios Gerousis D. Barton J. Plantin S. E. Ericsson Patrizia Cavalloro Gjalt G. de Jong C/C++: progress or deadlock in system-level specification. 136-137 2001 DATE http://doi.acm.org/10.1145/367072.367120 db/conf/date/date2001.html#GajskiVRGBPECJ01