Symbolic models for braking systems