SDE: Incremental Specification and Development of Communications Software. - Haruhisa Ichikawa; Masaki Itoh; June Kato; Akira Takura; Masashi Shibasaki (IEEE Trans. Computers, 1991)