Notes about models

Generic approach to model conversion
Digital Circuit restrictions and conversion to STG