Behavioral modeling of an ATM switch using SpecCharts | IEEE Conference Publication | IEEE Xplore