Proceedings of the 1995 International Symposium and Workshop on Systems Engineering of Computer Based Systems | IEEE Conference Publication | IEEE Xplore