Telecommunications systems engineering using SDL - Saracco, Roberto (North-Holland, 1989)