On the occasion of Tiziana Margaria’s 60th birthday, this short paper presents my personal perspective on Tiziana’s scientific achievements. Beginning with her work on hardware verification using the Otter theorem prover, I recount her arrival at the University of Passau and highlight several of her outstanding contributions to tools and methods for model-driven development, many accomplished in close collaboration with her husband, Bernhard Steffen. The paper also shortly addresses her collaboration with Mike Hinchey, her intriguing applications of digital techniques, and my involvement with the ISoLA conference series, which she co-founded with Bernhard Steffen and has chaired for the past 20 years. I conclude with my heartfelt thanks to her.