2 books
Process for System Architecture and Requirements Engineering
Strategies for Real Time System Specification