Pragmatic Tabular Specification Method for Interactive Systems | IEEE Conference Publication | IEEE Xplore