Sistemas fiables - Stefik, Mark