Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL | IEEE Conference Publication | IEEE Xplore