Single-source hardware modeling of different abstraction levels with State Charts | IEEE Conference Publication | IEEE Xplore