no image available Dickens & Co. "Alarms and Alerts: Unraveling the Web of Complexity with Parameterized Formal Specifications" "When the Clock Ticks Away: The Quest for Early Detection of System Failures and Temporal Conflicts" Price: 28.00€