John.Wiley.and.Sons.An.Introduction.to.TTCN.3.Jun.2005.eBook-DDU.pdf