BibTex format
@inbook{Todman:2017,
author = {Todman, T and Luk, W},
booktitle = {Provably Correct Systems},
editor = {Hinchey and Bowen and Olderog},
pages = {265--281},
publisher = {Springer},
title = {In-circuit assertions and exceptions for reconfigurable hardware design.},
url = {https://doi.org/10.1007/978-3-319-48628-4},
year = {2017}
}