Modelowanie bezpieczeństwa inteligentnych systemów transportowych