G. Berry

Model of a once-through steam generator with moving boundaries and a variable number of nodes

G. Berry, 1983 .

Workshop 20 : Real-time systems and constraints

G. Berry, 1997 .

System level design and verification using a synchronous language

G. Berry, S. Singh, M. Kishinevsky, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).