Temporal logic-based deadlock analysis for Ada | IEEE Journals & Magazine | IEEE Xplore