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