Evaluation of the Continuous Specification Method for Requirements of Data-Driven ...
Safety-critical system requirements specification based on the spectra language: a...
Design of the system for EQUARS mission and microsatellite plataform
Design of critical cyber-physical systems jointly addressing safety, security, and...