Ten Commandments of Formal Methods... Ten Years On