1. Alzahrani, N., Spichkova, M., Blech, J.O.: Spatio-temporal models for formal analysis and property-based testing. In: Federation of International Conferences on Software Technologies: Applications and Foundations, pp. 196–206. Springer (2016)
2. Alzahrani, N., Spichkova, M., Blech, J.O.: From temporal models to property-based testing. In: 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp. 241–246. SCITEPRESS (2017)
3. Barranco, M., Proenza, J., Rodriguez-Navas, G., Almeida, L.: An active star topology for improving fault confinement in CAN networks. Trans. Ind. Inform. 2(2), 78–85 (2006)
4. Barranco, M., Rodriguez-Navas, G., Proenza, J., Almeida, L.: CANcentrate: an active star topology for CAN networks. In: Factory Communication Systems, pp. 219–228. IEEE (2004)
5. Bosch. CAN specification version 2.0. Rober Bosch GmbH (1991)