A Temporal Logic Framework For Assembly Sequence Planning | IEEE Conference Publication | IEEE Xplore