C. Pribeanu, A. Balog, and D. Iordache. ICSOFT (Selected Papers), volume 47 of Communications in Computer and Information Science, page 175-186. Springer, (2008)
Q. Limbourg, C. Pribeanu, and J. Vanderdonckt. Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers, page 164--182. London, UK, Springer-Verlag, (2001)