Extensions to UML Action Semantics to Facilitate the Behavioral Specification of Hardware Software Co-design Systems

A Thesis