Gabriele Costa, Ilaria Matteucci. Elective temporal logic. In Ivica Crnkovic, Judith A. Stafford, Dorina C. Petriu, Jens Happe, Paola Inverardi, editors, 7th International Conference on the Quality of Software Architectures, QoSA 2011 and 2nd International Symposium on Architecting Critical Systems, ISARCS 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings. pages 143-152, ACM, 2011. [doi]
Abstract is missing.