Notes about models
Generic approach to model conversion
Digital Circuit restrictions and conversion to STG