Cardiac pacemaker model in UPPAAL and real-time interrupt-driven modules in C++ on mBed