add crossroads-transport and gogovan-transport models and updated specs