1. A user-oriented software reliability model;Cheung;IEEE Transactions on Software Engineering,1980
2. Interface automata;DeAlfaro,2001
3. de Roever, W.-R., Langmaack, H., Pnueli, A., 1998. Compositionality: the significant difference. In: International Symposium, COMPOS’97, Bad Malente, Springer-Verlag, Germany
4. The cleanroom approach to quality software development;Dyer,1992
5. Freudig, J., 1998. Konformitätsprüfung jenseits von Typanalyse. Diplomarbeit, Fakultät für Informatik, Universität Karlsruhe (TH), Germany