Viewcharts: a behavioral specification language for complex systems | IEEE Conference Publication | IEEE Xplore