Logical representation of maintenance procedures for verification and analysis | IEEE Conference Publication | IEEE Xplore