Mechanizing The Temporal Logic Of Actions In HOL | IEEE Conference Publication | IEEE Xplore