Tran, Mingins, Abramson, 2003. Design and implementation of assertions for the common language infrastructure 150.. https://doi.org/10.1049/ip-sen:20030988