Modelling temporal behaviour in complex systems with Timebands

Kun Wei, Jim Woodcock, Alan Burns. Modelling temporal behaviour in complex systems with Timebands. Formal Methods in System Design, 43(3):520-551, 2013. [doi]

Abstract

Abstract is missing.