A reference model for requirements and specifications - extended abstract | IEEE Conference Publication | IEEE Xplore