Safety Requirements Specification on Open Distributed Systems. - V. F. Avelino; S. S. S. Melnikoff (Software Engineering Research and Practice, 2004)