An axiomatic model for formal specification requirements of ubiquitous healthcare systems.