Behavior tables: a basis for system representation and transformational system synthesis