Proceedings 1994 Tutorial and Workshop on Systems Engineering of Computer-Based Systems