SystemCSP: A graphical language for designing concurrent component-based embedded control systems

Bojan Orlic. SystemCSP: A graphical language for designing concurrent component-based embedded control systems. PhD thesis, University of Twente, Enschede, Netherlands, 2007. [doi]

Abstract

Abstract is missing.