The LSTS toolchain for networked vehicle systems