Eun-Sun Cho Sumi Helal An Intermediate Language for Semantic Exceptions in Context-Aware Systems. 364-365 2012 COMPSAC https://doi.org/10.1109/COMPSAC.2012.57 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2012.57 conf/compsac/2012 db/conf/compsac/compsac2012.html#ChoH12