Jieun Jang and Jaeha Kim, “PPV-based Modeling and Event-Driven Simulation of Injection-Locked Oscillators in SystemVerilog,” IEEE Transactions on Circuits and Systems I, 2015. Link