David Kendall Formal modelling and analysis of broadcasting embedded control systems. 2001 Newcastle University, Newcastle upon Tyne, UK https://hdl.handle.net/10443/2090 https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.364847 British Library, EThOS