Material used for the submission at ACM Transactions on Cyber-Physical Systems - Special Issue on Automotive CPS Safety & Security

• Dataset (password-protected)
• Implementations (password-protected)