Formal techniques in real time and fault tolerant systems 4th international symposium Uppsala, Sweden, September 9 - 13, 1996 ; proceedings (Springer, 1996)