@article{Boytsov2017, author = "Boytsov, Andrey", title = "{Situation awareness in pervasive computing systems: reasoning, verification, prediction}", year = "2017", month = "2", url = "https://bridges.monash.edu/articles/thesis/Situation_awareness_in_pervasive_computing_systems_reasoning_verification_prediction/4664176", doi = "10.4225/03/58a6594eb3df9" }