Clack, CD; Vanca, G; (2018) Temporal aspects of smart contracts for financial derivatives. In: Margaria, T and Steffen, B, (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. (pp. pp. 339-355). Springer: Cham, Switzerland.