IEEE SA WHITE PAPER A LANDSCAPE FOR THE DEVELOPMENT OF dependable MACHINES Authored by IEEE P2851 Working Group ...