A. Gregersen, M. Rasmussen, and B. Jørgensen. ICSOFT (Selected Papers), volume 457 of Communications in Computer and Information Science, page 99-113. Springer, (2013)
O. Selajev, and A. Gregersen. ICSOFT (Selected Papers), volume 868 of Communications in Computer and Information Science, page 135-159. Springer, (2017)