Implementação de uma extensão de um compilador de Specc para SystemC - Packer, João Guilherme (2013)