Modelling and Verifying of Medical Diagnosis System Based on Context-Awareness Framework. - Shujun Zou; Kaiyu Wan; Zongyuan Yang (FCST, 2010)