C. Alexander, S. Ishikawa, M. Silverstein, M. Jacobson, I. Fiksdahl-King, and S. Angel, A pattern language. Towns, buildings, construction. Oxford University Press, 1977.
E. Gamma, R. Helm, R. E. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, "Property specification patterns for finite-state verification," in FMSP '98: Proceedings of the 2nd workshop on Formal methods in software practice. ACM, 1998, pp. 7-15.
J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pǎsǎreanu, Robby, and H. Zheng, "Bandera: extracting finitestate models from Java source code," in ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering. ACM, 2000, pp. 439-448.
L. Baresi, E. Di Nitto, and C. Ghezzi, "Toward open-world software: Issue and challenges," IEEE Computer, vol. 39, no. 10, pp. 36-43, 2006.
L. Baresi and E. Di Nitto, Eds., Test and Analysis of Web Services. Springer, 2007.
N. Josuttis, SOA in Practice: The Art of Distributed System Design. O'Reilly Media, Inc., 2007.
S. Konrad and B. H. C. Cheng, "Real-time specification patterns," in ICSE '05: Proceedings of the 27th International Conference on Software Engineering. ACM, 2005, pp. 372-381.
M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, "Patterns in property specifications for finite-state verification," in ICSE '99: Proceedings of the 1999 International Conference on Software Engineering. IEEE Computer Society Press, 1999, pp. 411-420.
V. Gruhn and R. Laue, "Patterns for timed property specifications," Electron. Notes Theor. Comput. Sci., vol. 153, no. 2, pp. 117-133, 2006.
F. Raimondi, J. Skene, and W. Emmerich, "Efficient online monitoring of web-service SLAs," in SIGSOFT FSE 2008: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM, 2008, pp. 170-180.
S. Kallel, A. Charfi, T. Dinkelaker, M. Mezini, and M. Jmaiel, "Specifying and monitoring temporal properties in web services compositions," in ECOWS 2009: Proceedings of the 7th European Conference on Web Services. IEEE Computer Society, 2009, pp. 148-157.
S. Halle, R. Villemaire, and O. Cherkaoui, "Specifying and validating data-aware temporal web service properties," IEEE Trans. Softw. Eng., vol. 35, no. 5, pp. 669-683, 2009.
D. Krafzig, K. Banke, and D. Slama, Enterprise SOA: Service-Oriented Architecture Best Practices. Prentice Hall, 2004.
S. Murer and B. Bonati, Managed Evolution: A Strategy for Very Large Information Systems. Springer, 2010.
N. Pelov, M. Denecker, and M. Bruynooghe, "Well-founded and stable semantics of logic programs with aggregates," Theory and Practice of Logic Programming, vol. 7, no. 3, pp. 301-353, May 2007.
C. Areces, G. Hoffmann, and A. Denis, "Modal logics with counting," in WoLLIC 2010: Proceedings of the 17th Workshop on Logic, Language, Information and Computation, 2010.
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, "Temporal specifications with accumulative values," in LICS'11: Proceedings of the 26th Symposium on Logic in Computer Science, 2011.
F. Bitsch, "Safety patterns - the key to formal specification of safety requirements," in SAFECOMP 2001: Proceedings of the 20th International Conference on Computer Safety, Reliability and Security, ser. LNCS, vol. 2187. Springer, 2001, pp. 176-189.
M. Chechik and D. O. Paun, "Events in property patterns," in SPIN 1999: Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking. Springer, 1999, pp. 154-167.
R. L. Smith, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil, "Propel: an approach supporting property elucidation," in ICSE 2002: Proceedings of the 22rd International Conference on Software Engineering. ACM, 2002, pp. 11-21.
S. Flake, W. Müller, and J. Ruf, "Structured english for model checking specification," in Trans. Amer. Math. Soc. VDE Verlag, 2000, pp. 2547-2552.
L. Grunske, "Specification patterns for probabilistic quality properties," in ICSE 2008: Proceedings of the 30th International Conference on Software Engineering. ACM, 2008, pp. 31-40.
A. Post, I. Menzel, and A. Podelski, "Applying restricted English grammar on automotive requirements - does it work? a case study," in REFQS 2011: Proceedings of the 17th International Working Conference on Requirements Engineering: Foundation for Software Quality, ser. LNCS, vol. 6606. Springer, 2011, pp. 166-180.
Z. Li, J. Han, and Y. Jin, "Pattern-based specification and validation of web services interaction properties," in ICSOC 2005: Proceedings of the 3rd International Conference on Service-oriented computing, ser. LNCS, vol. 3826. Springer, 2005, pp. 73-86.
J. Simmonds, M. Chechik, S. Nejati, E. Litani, and B. O'Farrell, "Property patterns for runtime monitoring of web service conversations," in RV 2008: 8th International Workshop on Runtime Verification, ser. LNCS, vol. 5289. Springer, 2008, pp. 137-157.
J. Yu, T. Manh, J. Han, Y. Jin, Y. Han, and J. Wang, "Pattern based property specification and verification for service composition," in WISE 2006: Proceedings of the 7th International Conference on Web Information Systems Engineering, ser. LNCS, vol. 4255. Springer, 2006, pp. 156-168.
P. Wong and J. Gibbons, "Property specifications for work- flow modelling," in IFM 2009: Proceedings of the 7th International Conference on Integrated Formal Methods, ser. LNCS, vol. 5423. Springer, 2009, pp. 56-71.
G. Spanoudakis, C. Kloukinas, and K. Androutsopoulos, "Towards security monitoring patterns," in SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing. ACM, 2007, pp. 1518-1525.
L. Baresi, D. Bianculli, C. Ghezzi, S. Guinea, and P. Spoletini, "Validation of web service compositions," IET Softw., vol. 1, no. 6, pp. 219-232, 2007.
