Applying Property-Based Testing in Teaching Safety-Critical System Programming | IEEE Conference Publication | IEEE Xplore