Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks