TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems