Andres J. Ramirez, Betty H. C. Cheng: Automatic Derivation of Utility Functions for Monitoring Software Requirements. MoDELS 2011: 501-516