Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus: <i>µ</i>QC: a property-based testing framework for L4 microkernels. Int. J. Crit. Comput. Based Syst. 8(1): 1-24 (2018)