An interrupt based approach for complete automation of spacecraft checkout operations in a multi tasked environment | IEEE Conference Publication | IEEE Xplore