Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata | IEEE Conference Publication | IEEE Xplore