Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware.

Stefan Resch, Michael Paulitsch

Browse the full ISSRE paper archive.