An Integrated Formal Model for Context-Aware Systems. - Eun-Sun Cho; Tae-Seob Yoon; Joong-Hyun Choi; Joon-Young Paik; Sumi Helal (COMPSAC Workshops, 2013)

A Formal Modeling for Exceptions in Context-Aware Systems. - Tae-Seob Yoon; Joong-Hyun Choi; Eun-Sun Cho; Sumi Helal (COMPSAC Workshops, 2014)