1. Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., Tohdo, T.: An approach to optimization of fault tolerant architectures using HiP-HOPS. In: Software Practice and Experience. Wiley Interscience, Hoboken (2011), doi:10.1002/spe.1044; available online in advance of publication
2. Arnold, A., Gerald, P., Griffault, A., Rauzy, A.: The Altarica formalism for describing concurrent systems. Fundamenta Informaticae 34, 109–124 (2000)
3. Bozzano, M., Villafiorita, A.: The FSAP/NuSMV safety analysis platform. International Journal on Software Tools for Technology Transfer 9, 5–2 (2006), doi:10.1007/s10009-006-0001-2
4. Colombo, D.: Brake-by-wire system development: technology and development process. Vehicle Systems-Active Control Systems Fiat Group (2007), http://staff.polito.it/enrico.canuto/Home_page/pdf/Incontro18gen2008/DColombo.pdf (accessed February 16, 2011 )
5. Lecture Notes in Computer Science;P. Cuenot,2007