EBFA1B93-C59D-4141-B139-8A8F6FBA0C10STRATA; Layers for Structuring Trustworthy Ambient SystemsResearch GrantEP/N023641/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL965298DCE16794-5092-4F15-8D29-81CDF9E4B8D6A Refinement Based Method for Developing Distributed Protocolse74f919a7b84a6955b5c320dc25f06bfStankaitis P2019-01-01http://dx.doi.org/10.1109/hase.2019.00023http://dx.doi.org/10.1109/hase.2019.00023Conference/Paper/Proceeding/Abstract5e466fff084e91.27965101