EBFA1B93-C59D-4141-B139-8A8F6FBA0C10STRATA; Layers for Structuring Trustworthy Ambient SystemsResearch GrantEP/N023641/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL965298499C2164-580B-4DB8-AD49-9B75A17C1C0BFormal Analysis of Railway Signalling Data0852883880012305101e9023772fee6fIliasov A2016-01-01http://dx.doi.org/10.1109/hase.2016.44http://dx.doi.org/10.1109/hase.2016.44Conference/Paper/Proceeding/Abstract58a0ad31a25e67.26825339