Encoding, Decoding and Data Refinement Ralph-Johan BackJoakim von Wright Original Paper Pages: 313 - 349
Conformance Tests for Real-Time Systems with Timed Automata Specifications Rachel Cardell-Oliver Original Paper Pages: 350 - 371
Symbolic Approaches to Probability Distributions in Process Algebra C. Tofts Original Paper Pages: 392 - 415