Portable and Configurable Implementation of ARINC-653 Temporal Partitioning for Small Civilian UAVs. - Hyun-Chul Jo; Joo-Kwang Park; Hyun-Wook Jin; Hyung-Sik Yoon; Sang-Hun Lee (IEEE Access, 2019)