Application of mathematical software in developing and understanding of traffic simulation models | IEEE Conference Publication | IEEE Xplore