An introduction to ETCS