A. Ferrari, M. Itria, S. Chiaradonna, and G. Spagnolo. Software Engineering for Resilient Systems, volume 7527 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2012)
R. Reussner, H. Schmidt, and I. Poernomo. Journal of Systems and Software, 66 (3):
241 - 252(2003)Software architecture -- Engineering quality attributes.
R. Fagin, J. Halpern, and N. Megiddo. Information and Computation, 87 (1–2):
78 - 128(1990)Special Issue: Selections from 1988 \IEEE\ Symposium on Logic in Computer Science.
W. Böhm, M. Junker, A. Vogelsang, S. Teufl, R. Pinger, and K. Rahn. Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, page 34--41. New York, NY, USA, ACM, (2014)
P. Černý, T. Henzinger, and A. Radhakrishna. Theoretical Computer Science, 413 (1):
21 - 35(2012)Quantitative Aspects of Programming Languages (QAPL 2010).
S. Weiner, M. Hasson, O. Kupferman, E. Pery, and Z. Shevach. Automated Technology for Verification and Analysis, volume 8172 of Lecture Notes in Computer Science, Springer International Publishing, (2013)