The knowledge modeling of bridge code for automated completeness checking | IEEE Conference Publication | IEEE Xplore