Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi. Generation of Safety and Liveness Complaint Automata from Goal Model Specifications. In 16th European Dependable Computing Conference, EDCC 2020, Munich, Germany, September 7-10, 2020. pages 127-134, IEEE, 2020. [doi]
Abstract is missing.