Lemaire, LaurensLaurensLemaireVossaert, JanJanVossaertDe Decker, BartBartDe DeckerNaessens, VinentVinentNaessens2021-10-272021-10-272019https://imec-publications.be/handle/20.500.12860/33393An assessment of security analysis tools for cyber-physical systemsProceedings paperhttps://link.springer.com/chapter/10.1007/978-3-319-57858-3_6