Specification and verification of agent interactions in matchmaking processes using FSP and FLTL | IEEE Conference Publication | IEEE Xplore