A sequential real-time refinement calculus Ian J. HayesMark Utting Original articles Pages: 385 - 448
Synchronized extension systems Ferucio Laurenţiu ŢipleaErkki MäkinenCorina Apachite Original articles Pages: 449 - 465