The Shall-Prototype-Test Development model | IEEE Conference Publication | IEEE Xplore