Formalization and Verification of AUTOSAR OS Standard's Memory Protection. - Khanh Trinh Le; Yuki Chiba; Toshiaki Aoki (TASE, 2018)