Freddy  Gabbay and Mendelson, Avi . 1999. ?The ?Smart? Simulation Environment ? A Tool-Set To Develop New Cache Coherency Protocols?. Journal Of Systems Architecture, 45, Pp. 619-632. doi:https://doi.org/10.1016/S1383-7621(98)00007-1.