Specifying Distributed Systems Requirements Using SREM. - James F. Fullerton; Albert H. Stone III; David A. Hartschuh (ER, 1983)