Bass, Julian, "A proposed design environment for dependable embedded systems", , 1997