Digital system robustness via design constraints: The lesson of formal methods | IEEE Conference Publication | IEEE Xplore