Using formal analysis and search-based techniques to address the assurance of cyber-physical systems at the requirements level

Full text