Systems engineering with SDL developing performance-critical communications systems - Mitschele-Thiel, Andreas (John Wiley & Sons, 2001)