@mastersthesis{mastersthesisbfeb17fa,
title   = {Framework formal para composição automática de serviços em sistemas de internet das coisas},
author = {Silva, André Luis Meneses and Kofuji, Sergio Takeo},
year = {2018},
school = {Universidade de São Paulo}
}