Specification for Construction of Vehicular Crossing