formal specification articles