Palette: A Reuse-Oriented Specification Language for Real-Time Systems.

Binoy Ravindran, Stephen H. Edwards

Browse the full ICSR paper archive.