MAMa - Appendices.docx Juan Carlos Augusto Mario Jose Quinde Li Say Tan Nawaz Khan 10.22023/mdx.7971125.v1 https://mdx.figshare.com/articles/journal_contribution/MAMa_-_Appendices_docx/7971125 This models have been used during the research published at “Using Formal Methods to Guide the Development of an Asthma Management System” (accepted at DESSERT 2019, Leeds, UK)<br><div> </div> 2019-04-10 11:32:37 Formal Methods Modelling Verification MIRIE Model Checking asthma management plan Applied Computer Science Conceptual Modelling Ubiquitous Computing