A Z-based approach to specifying and analyzing complex systems | IEEE Conference Publication | IEEE Xplore