Newthink - An Orwellian specification language for real-time safety critical systems.

Paul Mukherjee, Victoria Stavridou

Browse the full ECRTS paper archive.