Marie-Elena C. Kidd. Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions. In 1997 Workshop on Engineering of Computer-Based Systems (ECBS 97), March 24-28, 1997, Monterey, CA, USA. pages 483-490, IEEE Computer Society, 1997. [doi]
Abstract is missing.