Development of an industrial real-time system using high level design techniques | IEEE Conference Publication | IEEE Xplore