Model-Checking of Smart Contracts. - Zeinab Nehai; Pierre-Yves Piriou; Frédéric F. Daumas (iThings/GreenCom/CPSCom/SmartData, 2018)