Behavioral design and prototyping of a fail-safe system | IEEE Conference Publication | IEEE Xplore