Modelling and programming embedded controllers with timed automata and synchronous languages

Timothy Bourke. Modelling and programming embedded controllers with timed automata and synchronous languages. PhD thesis, University of New South Wales, Sydney, Australia, 2009. [doi]

Abstract

Abstract is missing.