Deshpande A., A. Gollu, L. Semenzato. "The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata". California PATH Technical Report UCB-ITS-PRR-97-7.

Languages mentioned

• SHIFT {1997}