JCopter: Reliable UAV Software Through Managed Languages | IEEE Conference Publication | IEEE Xplore