GitHub repository: mfedorcz/door-handler-PragmaDev-Studio
Created: 2023-05-20T11:46:53Z
Description: Repository of the PragmaDev Studio project consisting of a code unlock door system model and expected properties in PSC traces.