Parallel Refinement Mechanisms for Real-Time Systems.

Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli

Browse the full FASE paper archive.