Representing the functional behaviour of a system is a critical practice in any engineering discipline. However, how to compare and reason about the represented systems has mostly been dependent on our cognitive processing ...