Operation-Based Single-Queue SBC Process Algebra For Systems Modeling: General Systems Theory 2.0 at Work