Flexible handling of diverse dependability requirements in MARS | IEEE Conference Publication | IEEE Xplore