Bass, J. (1997). A proposed design environment for dependable embedded systems. . https://doi.org/10.1049/ic%3A19971139