A quantitative approach to software development using IEEE 982.1. - Schneidewind, Norman