Behavioral System Theory