Channel-Based Single-Queue SBC Process Algebra For Systems Definition: Integration of Systems Structure and Systems Behavior