Art of thinking in 11 systems 并列题名：Art of thinking in 11 systems Thinking in systems 并列题名：Thinking in systems Art of designing embedded systems Art of modeling mechanical systems Model checking quantum systems