@STRING{aspdac	= {ASP Design Automation Conf.} }
@inproceedings{HGD:2021,
  title     = {System-Level Verification of Linear and Non-Linear Behaviors of {RF} Amplifiers using Metamorphic Relations},
  author    = {Muhammad Hassan and Daniel Gro{\ss}e and Rolf Drechsler},
  booktitle = aspdac,
  pages     = {761--766},
  year      = {2021}
}