An Approach to the Formal Specification of Configurable Models of Graphics Systems