Specification and design of reactive systems

An intra-task dynamic voltage scaling method for SoC design with hierarchical FSM and synchronous dataflow model

Proceedings of the 2002 international symposium on Low power electronics and design

Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model

Proceedings of the tenth international symposium on Hardware/software codesign

Reactive process networks

Proceedings of the 4th ACM international conference on Embedded software

Toward a semantic anchoring infrastructure for domain-specific modeling languages

Proceedings of the 5th ACM international conference on Embedded software