Aries: An embedded system design framework (1999)

by D Engels, G Hadjiyiannis, S Hanono, S Devadas