Software measurement for the space shuttle HAL/S maintenance environment | IEEE Conference Publication | IEEE Xplore