Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded Systems | IEEE Conference Publication | IEEE Xplore