1. Agrawal, H., Demillo, R., Spafford, E.: Debugging with dynamic slicing and backtracking. Softw. Pract. Exp. 23, 589–616 (1993)
2. International Handbooks on Information Systems;G Antoniou,2009
3. Arifulina, S., Walther, S., Becker, M., Platenius, M.C.: SeSAME: modeling and analyzing high-quality service compositions. In: ACM/IEEE International Conference on Automated Software Engineering, ASE 2014, Vasteras, Sweden, 15–19 September 2014, pp. 839–842 (2014).
http://doi.acm.org/10.1145/2642937.2648621
4. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: version 2.0. In: Gupta, A., Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, UK) (2010).
http://homepage.cs.uiowa.edu/~/papers/BarST-SMT-10.pdf
5. Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3–22 (2009). specialIssue: SoftwarePerformance-ModelingandAnalysis.
http://www.sciencedirect.com/science/article/pii/S0164121208001015