BNFC implementation of the OSEK Implementation Language