@inproceedings{ISoLA.2006.335-340,
 author = {Jin Song Dong and Yuzhang Feng and Jing Sun and Jun Sun},
 title = {{Context Awareness Systems Design and Reasoning}},
 booktitle = {ISoLA '06: Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
 month = {November},
 year = {2006},
 pages = {335-340},
 location = {Paphos, Cyprus}
}