Dewasurendra, S.D.2019-10-012019-10-012013Engineer, 46(2):p.13-33https://dl-iesl.nsf.gov.lk/handle/1/1793Automated high integrity reactive systemsFormal verification strategyState chartsRailway signallingAutomatic controlFormal verification strategy for statechart based design of reconfigurable control of high integrity reactive systemsArticle