Michael Mrva, Mike Heuchling, Wolfgang Ecker. The Shall-Prototype-Test Development model. In 1997 Workshop on Engineering of Computer-Based Systems (ECBS 97), March 24-28, 1997, Monterey, CA, USA. pages 385-391, IEEE Computer Society, 1997. [doi]
Abstract is missing.