Time complexity optimization of the Paull algorithm based on expandable data structure | IEEE Conference Publication | IEEE Xplore