M.: Runtime enforcement for component-based systems (2015)

by H Charafeddine, K El-Harake, Y Falcone, Jaber
Venue:In: Proceedings of the 30th Annual ACM Symposium on Applied Computing