31320-1-2012-Information technology -- Modeling Languages--Part 1: Syntax and Semantics for IDEF0