Runtime Verification Electronic Control Unit (for monitoring automotive CAN bus) - View it on GitHub