C/C++: progress or deadlock in system-level specification. - Daniel Gajski; Eugenio Villar; Wolfgang Rosenstiel; Vassilios Gerousis; D. Barton; Jonas Plantin; S. E. Ericsson; Patrizia Cavalloro; Gjalt G. de Jong (DATE, 2001)