GitHub repository: rodrigogomesrc/smart-semaphore
Created: 2025-05-13T17:44:56Z
Description: Formal especification and implementation of a traffic semaphore