IOS Press
Fundamenta Informaticae
Computer Security

Sun, M., & Arbab, F. (2009). QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. Fundamenta Informaticae, 95(1), 103–128.