High-Level System Modeling by Jean-Michel Berge