Dhaminda B. Abeywickrama, Franco Zambonelli. Model Checking Goal-Oriented Requirements for Self-Adaptive Systems. In Miroslav Popovic, Bernhard Schätz, Sebastian Voss, editors, IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012. pages 33-42, IEEE, 2012. [doi]
Abstract is missing.