Books by Tutorial and Workshop on Systems Engineering of Computer-Based Systems (1994 Stockholm, Sweden)