Behavioral Fault Modeling for Model-based Safety Analysis
The synchronous dataflow programming language LUSTRE