MAMa - Appendices.docx

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>