GitHub repository: smolkaj/behavioral-model
Description: The reference P4 software switch