Safe tasks: Run time verification of the RTFM-lang model of computation | IEEE Conference Publication | IEEE Xplore