references.bib

@article{AlurDill:1994,
  author = "Rajeev Alur and David Dill",
  title = "A theory of timed Automata",
  journal = "Theoretical Computer Science",
  volume = "126",
  number = "",
  pages = "183-235",
  year = "1994",
  note = "",
  issn = "",
  url = "https://www.cis.upenn.edu/~alur/TCS94.pdf"
}

@article{Coelho2016,
  author = "Vitor N. Coelho and Igor M. Coelho and Bruno N. Coelho and Glauber C. de Oliveira and Alexandre C. Barbosa and Leo Pereira and Alan de Freitas and Haroldo G. Santos and Luis S. Ochi and Frederico G. Guimar{\~a}es",
  title = "A communitarian microgrid storage planning system inside the scope of a smart city ",
  journal = "Applied Energy ",
  volume = "",
  number = "",
  pages = " - ",
  year = "2016",
  note = "",
  issn = "0306-2619",
  doi = "http://doi.org/10.1016/j.apenergy.2016.12.043",
}

@article{Coelho2016730,
  title = "Multi-objective energy storage power dispatching using plug-in vehicles in a smart-microgrid ",
  journal = "Renewable Energy ",
  volume = "89",
  number = "",
  pages = "730 - 742",
  year = "2016",
  note = "",
  issn = "0960-1481",
  doi = "http://doi.org/10.1016/j.renene.2015.11.084",
  author = "Vitor N. Coelho and Igor M. Coelho and Bruno N. Coelho and Miri Weiss Cohen and Agnaldo J.R. Reis and Sidelmo M. Silva and Marcone J.F. Souza and Peter J. Fleming and Frederico G. Guimar{\~a}es",
}

@article{Coelho2017820,
  title = "Multi-agent systems applied for energy systems integration: State-of-the-art applications and trends in microgrids ",
  journal = "Applied Energy ",
  volume = "187",
  number = "",
  pages = "820 - 832",
  year = "2017",
  note = "",
  issn = "0306-2619",
  doi = "http://doi.org/10.1016/j.apenergy.2016.10.056",
  author = "Vitor N. Coelho and Miri Weiss Cohen and Igor M. Coelho and Nian Liu and Frederico Gadelha Guimar{\~a}es",
}

@misc{tarifas,
    author    = "ANEEL",
    title     = "Superintendência de Gestão Tarifária: A Tarifa de Energia Elétrica",
    howpublished = "Disponível em: \url{http://www.aneel.gov.br/tarifas}",
    year     = "2016",
    month    = "Fev",
    note     = "Acesso em: 24/03/2017",
}

@misc{modeloBR,
    author    = "CCEE, C\^{a}mara de Comercializa\c{c}\~{a}o de Energia El\'{e}trica",
    title	= "Setor el\'{e}trico",
    year	= "2017",
    howpublished	= "Dispon\'{i}vel em: \url{https://www.ccee.org.br/portal/faces/pages_publico/onde-atuamos/setor_eletrico}",
    note	= "Acesso em: 17/03/2017",
}

@misc{fontes,
    author    = "CCEE",
    title     = "Câmara de Comercialização de Energia Elétrica: Fontes",
    year	= "2017",
    howpublished = "Disponível em: \url{www.ccee.org.br/portal/faces/pages_publico/onde-atuamos/fontes}",
    note     = "Acesso em: 17/03/2017",
}

@misc{BIG,
    author    = "ANEEL",
    title     = "Banco de Informações de Geração: Matriz de Energia Elétrica",
    year	= "2017",
    howpublished = "Disponível em: \url{www2.aneel.gov.br/aplicacoes/capacidadebrasil/capacidadebrasil.cfm}",
    note     = "Acesso em: 17/03/2017",
}

@misc{market,
    author    = "CCEE",
    title     = "Comercialização",
    year	= "2017",
    howpublished = "Disponível em: \url{www.ccee.org.br/portal/faces/pages_publico/onde-atuamos/comercializacao}",
    note     = "Acesso em: 17/03/2017",
}

@misc{price,
    author    = "ANEEL",
    title     = "Superintendência de Gestão Tarifária: Entendendo a Tarifa",
    howpublished = "Disponível em: \url{http://www.aneel.gov.br/entendendo-a-tarifa/-/asset_publisher/uQ5pCGhnyj0y/content/composicao-da-tarifa/654800}",
    year     = "2017",
    month    = "Fev",
    note     = "Acesso em: 24/03/2017",
}

@misc{GD,
    author    = "ANEEL, Superintendência de Regulação dos Serviços de Distribuição (SRD)",
    title     = "Informações Técnicas",
    howpublished = "Disponível em: \url{http://www.aneel.gov.br/informacoes-tecnicas/-/asset_publisher/CegkWaVJWF5E/content/geracao-distribuida-introduc-1/656827}",
    year     = "2016",
    month    = "Out",
    note     = "Acesso em: 17/03/2017",
}

@misc{beneficios,
    author    = "Instituto IDEAL, América do Sol",
    title     = "Benefícios e Custos da Energia Solar",
    year	= "2017",
    howpublished = "Disponível em: \url{http://americadosol.org/beneficios-e-custos-da-energia-solar/}",
    note     = "Acesso em: 17/03/2017",
}

@misc{rules,
    author    = "Instituto IDEAL, América do Sol",
    title     = "Regulamentação",
    year	= "2017",
    howpublished = "Disponível em: \url{http://americadosol.org/regulamentacao/}",
    note     = "Acesso em: 17/03/2017",
}

@misc{FAQ,
    author    = "ANEEL",
    title     = "Perguntas e Respostas sobre a aplicação da Resolução Normativa nº 482/2012",
    howpublished = "Disponível em: \url{http://www2.aneel.gov.br/arquivos/PDF/FAQ_GD_Atualizado.pdf}",
    year     = "2016",
    month    = "Mar",
    note     = "Acesso em: 24/03/2017",
}

@misc{abradee,
    author    = "ABRADEE",
    title     = "Visão Geral do Setor",
    year	= "2017",
    howpublished = "Disponível em: \url{http://www.abradee.com.br/setor-eletrico/visao-geral-do-setor}",
    note     = "Acesso em: 27/03/2017",
}

@misc{abradee2,
    author    = "ABRADEE",
    title     = "Tarifas de Energia",
    year	= "2017",
    howpublished = "Disponível em: \url{http://www.abradee.com.br/setor-de-distribuicao/tarifas-de-energia/tarifas-de-energia}",
    note     = "Acesso em: 11/04/2017",
}

@misc{agentes,
    author    = "CCEE",
    title     = "Como se dividem -- Categoria de Agentes da CCEE",
    year	= "2017",
    howpublished = "Disponível em: \url{https://www.ccee.org.br/portal/faces/pages_publico/quem-participa/como_se_dividem}",
    note     = "Acesso em: 27/03/2017",
}

@mastersthesis{gerusa,
  author       = "Magalhães, Gerusa de Souza Côrtes",
  title        = "Comercialização de energia elétrica no ambiente de contratação livre: uma análise regulatório-institucional a partir dos contratos de compra e venda de energia elétrica",
  school       = "Universidade de São Paulo (USP)",
  year         = "2009",
  address      = "São Paulo",
  howpublished = "Disponível em: \url{http://www.teses.usp.br/teses/disponiveis/86/86131/tde-09062011-152105/pt-br.php}",
  note         = "Acesso em: 29/03/2017",
}

@ebook{green-coins,
    author    = "Hundt, Reed E. and Schub, Jeffrey and Schottenfeld, Joseph R.",
    title     = "Chapter 10 Green Coins: Using Digital Currency to Build the New Power Platform",
    howpublished = "Disponível em: \url{https://idcubed.org/chapter-10-green-coins-using-digital-currency-build-new-power-platform/}",
    year     = "2014",
    note     = "Acesso em: 23/03/2017",
}

@misc{MP579,
    author    = "Costellini, Clara and Hollanda, Lavinia",
    title     = "Setor Elétrico: da MP 579 ao pacote financeiro",
    howpublished = "Disponível em: \url{http://fgvenergia.fgv.br/artigos/setor-eletrico-da-mp-579-ao-pacote-financeiro}",
    year     = "2014",
    month    = "Mar",
    note     = "Acesso em: 27/03/2017",
}%ainda não foi referenciado

@misc{seminario,
    author    = "ANEEL",
    title     = "A ANEEL e o Modelo do Setor Elétrico Brasileiro",
    howpublished = "Disponível em: \url{http://www2.aneel.gov.br/arquivos/pdf/ElleryFNE.pdf}",
    year     = "2001",
    month    = "Ago",
    note     = "Seminário “A Crise Energética Brasileira”. Acesso em: 27/03/2017",
}

@unpublished{cebolo,
    author    = "Cébolo, Arnaldo dos Santos",
    title     = "Reestruturação do Setor Elétrico Brasileiro",
    year     = "2012",
    note     = "Slides da disciplina Estruturação do Setor Elétrico, CEFET/RJ. Acesso em: 27/03/2017",
}

@misc{lei,
    author    = "BRASIL",
    title     = "Lei 8.987, de 13 de fevereiro de 1995. Dispõe sobre o regime de concessão e permissão da prestação de serviços públicos previsto no art. 175 da Constituição Federal, e dá outras providências.",
    howpublished = "Disponível em: \url{http://www.planalto.gov.br/ccivil_03/leis/L8987compilada.htm}",
    year     = "1995",
    month    = "Fev",
    note     = "Acesso em: 30/03/2017",
}

@misc{agtrans,
    author    = "ONS",
    title     = "O ONS: Relacionamentos",
    year	= "2017",
    howpublished = "Disponível em: \url{http://www.ons.org.br/institucional_linguas/relacionamentos.aspx}",
    note     = "Acesso em: 03/04/2017",
}

@misc{bandeiras,
    author    = "ANEEL, Superintendência de Gestão Tarifária (SGT)",
    title     = "Bandeiras Tarifárias",
    howpublished = "Disponível em: \url{http://www.aneel.gov.br/bandeiras-tarifarias}",
    year     = "2017",
    month    = "Mar",
    note     = "Acesso em: 05/04/2017",
}

@misc{proinfa,
    author    = "Eletrobras",
    title     = "PROGRAMAS: PROINFA",
    year	= "2017",
    howpublished = "Disponível em: \url{http://www.eletrobras.com/elb/ProinfA/data/Pages/LUMISABB61D26PTBRIE.htm}",
    note     = "Acesso em: 06/04/2017",
}

@unpublished{arteiro,
    author    = "de Oliveira, Francisco José Arteiro",
    title     = "Planejamento da operação do Sistema Interligado Nacional",
    year     = "2006",
    month   = "Out",
    note     = "Slides do I Workshop da Operação, AES-Tietê, Bauru (SP). Acesso em: 07/04/2017",
}

@misc{its1,
    author    = "ITS Rio",
    title     = "Blockchain: a tecnologia e suas aplicações",
    year	= "2017",
    howpublished = "Disponível em: \url{https://itsrio.org/pt/cursos/blockchain-a-tecnologia-e-suas-aplicacoes/}",
    note     = "Atualizaram a página e o conteúdo referenciado não está mais acessível! Acesso em: 22/03/2017",
}

@misc{block-endeavor,
    author    = "Endeavor",
    title     = "Blockchain: conheça a tecnologia por trás da revolução das moedas virtuais",
    howpublished = "Disponível em: \url{https://endeavor.org.br/blockchain/}",
    year    = "2015",
    month   = "Ago",
    note     = "Acesso em: 22/03/2017",
}

@misc{its2,
    author    = "Aleixo, Gabriel ",
    title     = "O potencial transformador da tecnologia blockchain",
    year	= "2016",
    month	= "Abr",
    howpublished = "Disponível em: \url{https://feed.itsrio.org/o-potencial-transformador-da-tecnologia-blockchain-777a5edf6a29}",
    note     = "Acesso em: 22/03/2017",
}

@misc{its3,
    author    = "Radu, Roxana and Aleixo, Gabriel",
    title     = "Blockchain e o futuro da Governança",
    year	= "2015",
    month	= "Nov",
    howpublished = "Disponível em: \url{https://goo.gl/5ZT2Uf}",
    note     = "Acesso em: 22/03/2017",
}

@misc{its4,
    author    = "Lemos, Ronaldo",
    title     = "Como usar a Blockchain para promover o interesse público?",
    year	= "2017",
    month	= "Fev",
    howpublished = "Disponível em: \url{https://goo.gl/AsUXPj}",
    note     = "Acesso em: 22/03/2017",
}

@misc{ether,
    author    = "Wood, Gavin",
    title     = "Ethereum: homestead release",
    year  = {2017},
    howpublished = "Disponível em: \url{https://ethereum.org/}",
    note     = "Acesso em: 23/03/2017",
}

@misc{blocktrading,
    author    = "Merz, Michael",
    title     = "Potential of the Blockchain Technology in Energy Trading",
    year	= "2016",
    month	= "Oct",
    howpublished = "Disponível em: \url{http://www.ponton.de/downloads/mm/Potential-of-the-Blockchain-Technology-in-Energy-Trading_Merz_2016.en.pdf}",
    note     = "Acesso em: 11/04/2017. Aparece como capítulo do livro Blockchain technology Introduction
for business and IT managers, de Daniel Burgwinkel et al., edit. OLDENBOURG",
}

@misc{precos,
    author    = "CCEE, Câmara de Comercialização de Energia Elétrica",
    title	= "Preços",
    year	= "2017",
    howpublished	= "Disponível em: \url{https://www.ccee.org.br/portal/faces/oquefazemos_menu_lateral/precos}",
    note	= "Acesso em: 15/04/2017",
}

@misc{gartner,
    author    = "Kandaswamy, Rajesh",
    title     = "Blockchain: How Real Is The Market?",
    year	= "2016",
    organization = "Gartner",
    howpublished = "Disponível em: \url{https://www.gartner.com/webinar/3607520}",
    note     = "Acesso em: 11/04/2017",
}

@misc{tarifa_branca,
    author    = "ANEEL, Superintendência de Gestão Tarifária (SGT)",
    title     = "Modalidades tarifárias",
    howpublished = "Disponível em: \url{http://www.aneel.gov.br/tarifa-branca}",
    year     = "2017",
    month    = "Fev",
    note     = "Acesso em: 18/04/2017",
}


%-------------------------------------------------------------------
% IEEE
@ARTICLE{7452756,
    author={K. Kok and S. Widergren},
    journal={IEEE Power and Energy Magazine},
    title={A Society of Devices: Integrating Intelligent Distributed Resources with Transactive Energy},
    year={2016},
    volume={14},
    number={3},
    pages={34-45},
    keywords={distribution networks;coordinated operation;coordination mechanisms;electricity infrastructure;intelligent distributed resources;intelligent electricity system;local coordination tasks;sustainable energy carrier;transactive energy;transition scenarios;Artificial intelligence;Energy management;Multi-agent systems;Optimization;Smart grids;Transactive energy},
    doi={10.1109/MPE.2016.2524962},
    ISSN={1540-7977},
    month={May},
    note    = "Acesso em: 05/04/2017",
}





@INPROCEEDINGS{Hao2018DynnamicPBFT,
author={X. Hao and L. Yu and L. Zhiqiang and L. Zhen and G. Dawu},
booktitle={2018 IEEE Conference on Communications and Network Security (CNS)},
title={Dynamic Practical Byzantine Fault Tolerance},
year={2018},
volume={},
number={},
pages={1-8},
keywords={fault tolerant computing;protocols;software fault tolerance;malicious replicas;Dynamic PBFT;Dynamic Practical Byzantine Fault Tolerance;Byzantine fault tolerant protocol;Protocols;Security;Conferences;Communication networks;Computer crashes;Fault tolerance;Fault tolerant systems},
doi={10.1109/CNS.2018.8433150},
ISSN={},
month={May},}


@inproceedings{Duan:2018:BAB:3243734.3243812,
 author = {Duan, Sisi and Reiter, Michael K. and Zhang, Haibin},
 title = {BEAT: Asynchronous BFT Made Practical},
 booktitle = {Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security},
 series = {CCS '18},
 year = {2018},
 isbn = {978-1-4503-5693-0},
 location = {Toronto, Canada},
 pages = {2028--2041},
 numpages = {14},
 doi = {10.1145/3243734.3243812},
 acmid = {3243812},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {BFT, asynchronous BFT, blockchain, byzantine fault tolerance, robustness, threshold cryptography},
}

@inproceedings{castro1999practical,
  title={Practical Byzantine fault tolerance},
  author={Castro, Miguel and Liskov, Barbara},
  booktitle={OSDI},
  volume={99},
  pages={173--186},
  year={1999}
}


@inproceedings{miller2016honey,
  title={The honey badger of BFT protocols},
  author={Miller, Andrew and Xia, Yu and Croman, Kyle and Shi, Elaine and Song, Dawn},
  booktitle={Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security},
  pages={31--42},
  year={2016},
  organization={ACM}
}


@inproceedings{aublin2013rbft,
  title={Rbft: Redundant byzantine fault tolerance},
  author={Aublin, Pierre-Louis and Mokhtar, Sonia Ben and Qu{\'e}ma, Vivien},
  booktitle={Distributed Computing Systems (ICDCS), 2013 IEEE 33rd International Conference on},
  pages={297--306},
  year={2013},
  organization={IEEE}
}

@article{schneider1990implementing,
 author = {Schneider, Fred B.},
 title = {Implementing Fault-tolerant Services Using the State Machine Approach: A Tutorial},
 journal = {ACM Comput. Surv.},
 issue_date = {Dec. 1990},
 volume = {22},
 number = {4},
 month = dec,
 year = {1990},
 issn = {0360-0300},
 pages = {299--319},
 numpages = {21},
 doi = {10.1145/98163.98167},
 acmid = {98167},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{Neo2015WP,
  title={NEO: A distributed network for the Smart Economy},
  author={{Hongfei, Da and Zhang, Erik}},
  year={2015},
  url={https://github.com/neo-project/docs/blob/master/en-us/whitepaper.md},
  publisher={White Paper}
}

@article{lamport1982byzantine,
  title={The Byzantine generals problem},
  author={Lamport, Leslie and Shostak, Robert and Pease, Marshall},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={4},
  number={3},
  pages={382--401},
  year={1982},
  publisher={ACM}
}

@article{BrachaToueg1985,
 author = {Bracha, Gabriel and Toueg, Sam},
 title = {Asynchronous Consensus and Broadcast Protocols},
 journal = {J. ACM},
 issue_date = {Oct. 1985},
 volume = {32},
 number = {4},
 month = oct,
 year = {1985},
 issn = {0004-5411},
 pages = {824--840},
 numpages = {17},
 url = {http://doi.acm.org/10.1145/4221.214134},
 doi = {10.1145/4221.214134},
 acmid = {214134},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{regev2009lattices,
  title={On lattices, learning with errors, random linear codes, and cryptography},
  author={Regev, Oded},
  journal={Journal of the ACM (JACM)},
  volume={56},
  number={6},
  pages={34},
  year={2009},
  publisher={ACM}
}