GitHub repository: openEDI/oedisi-ieee123
Description: Our model of IEEE123 with a few changes.