G. Cagalaban, and S. Kim. Knowledge Management and Acquisition for Smart Systems and Services: 11th International Workshop, PKAW 2010, Daegue, Korea, page 103-110. (2010)
A. Blandford, P. Curzon, J. Hyde, and G. Papatzanis. Interactive Systems: Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, (2008)