Patterns for Refinement Automation (2008)

by A. Iliasov , E. Troubitsyna , L. Laibinis , A. Romanovsky