Use of synchronous concurrent algorithms in the development of safety related software. - A. J. Tacy (2006)