MOCA: Modelling Control Aspects of Embedded Systems

Publications: in EPrints
Further information: http://moca.ewi.utwente.nl/index.html