Kameas, A., S. Papadimitriou, P. Pintelas, and G. Pavlides,  "IDFG : an interactive applications specification model with phenomenological properties",  Microprocessing and Microprogramming, vol. 38, issue 1-5: North-Holland, pp. 615-623, September, 1993.