@STRING{date	= {Design, Automation and Test in Europe} }
@inproceedings{HGD:2021b,
  title     = {System Level verification of Phase-Locked Loop using Metamorphic Relations},
  author    = {Muhammad Hassan and Daniel Gro{\ss}e and Rolf Drechsler},
  booktitle = date,
  pages     = {1378--1381},
  year      = {2021},
  mycomment     = {{\bf (Best Paper Candidate)}}
}