Rozier. Specification: The Biggest Bottleneck in Formal Methods and Autonomy. Springer International Publishing, 2016, doi:10.1007/978-3-319-48869-1_2.