@inproceedings{b607839aa04041a896ed3ff2b1609dfa,
title = "A case study in the analysis of safety requirements",
abstract = "We show how formal methods can be used to assist in developing requirements of a safety-critical system. The approach is to express the requirements in temporal logic, and then to develop a process model satisfying the requirements. The existence of such a model ensures the requirements are consistent, and also helps in their validation.",
keywords = "Safety, computer software, concurrency , temporal logic, formal methods",
author = "Stuart Anderson and Glenn Bruns",
year = "1992",
doi = "10.1016/B978-0-08-041893-3.50005-7",
language = "English",
isbn = "9780080418933",
series = "IFAC Symposia Series",
pages = "1--6",
booktitle = "Safety of Computer Control Systems 1992 (Safecomp ' 92)",
}