Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta. A comprehensive framework for the analysis of automotive systems. In Eugene Syriani, Houari A. Sahraoui, Nelly Bencomo, Manuel Wimmer, editors, Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022. pages 379-389, ACM, 2022. [doi]
Abstract is missing.