Modeling real-time database concurrency control protocol two-phase-locking in Uppaal | IEEE Conference Publication | IEEE Xplore