The Power-Oriented Graphs Technique: system modeling and basic properties