S. Taps, T. Brunø, K. Nielsen, and K. Jørgensen. APMS (3), volume 440 of IFIP Advances in Information and Communication Technology, page 304-312. Springer, (2014)
A. Olszak, S. Lazarova-Molnar, and B. Jørgensen. ICSOFT (Selected Papers), volume 555 of Communications in Computer and Information Science, page 183-201. Springer, (2014)