Submitted by Anonymous on Mon, 2016-04-11 11:36 September 22-26, 2014. Stuttgart, Germany Lecture Notes in Informatics, vol. 212, pages 235-246. Gesellschaft für Informatik 2014. Authors: A. BrogiJ. SoldaniPublished: Informatik 2014