Maria Paola Cabasino, Alessandro Giua, Carla Seatzu, A. Solinas, K. Zedda. Fault diagnosis of an ABS system using Petri nets. In IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011. pages 594-599, IEEE, 2011. [doi]