Formal Modeling of Software Quality with xNoFun Language. - Serge P. Kovalyov; Elena A. Ozhiganova (Automation, Control, and Information Technology, 2005)