Nejad-Sattary, M. (1990). An extended data flow diagram notation for specification of real-time systems. (Unpublished Doctoral thesis, City, University of London)