binsem_graph Binary Semaphore Management Header Generation Tool for Scheduled Execution and Real-Time Control