Matteo Camilli, Angelo Gargantini, Patrizia Scandurra. Specifying and verifying real-time self-adaptive systems. In 26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Gaithersbury, MD, USA, November 2-5, 2015. pages 303-313, IEEE, 2015. [doi]
Abstract is missing.