Synthesising and Analysing Biological Programs in Embryonic Stem Cells