Formal specification of the epsilon serializibility considering quality of service | IEEE Conference Publication | IEEE Xplore