Generation of Safety and Liveness Complaint Automata from Goal Model Specifications | IEEE Conference Publication | IEEE Xplore