Mixed formal specifications with PVS | IEEE Conference Publication | IEEE Xplore