Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables | IEEE Conference Publication | IEEE Xplore