1. Road vehicles—functional safety. Standard ISO 26262.
2. Metropolis: an integrated electronic system design environment;Balarin;IEEE Computer,2003
3. Platform-based design and frameworks: Metropolis and metro ii;Balarin,2009
4. Specification, synthesis and simulation of transactor processes;Balarin;IEEE Trans. Computer-Aided Design Integrated Circuits Syst,2007
5. A contract-based formalism for the specification of heterogeneous systems;Benvenuti,2008