@InProceedings{forte04,
  author = "Hermenegilda Macia and  Valentin Valero and Diego Cazorla and Fernando Cuartero",
  title = "Introducing the iteration in sPBC",
  booktitle = "In Proceedings of the 24th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2004)",
  address =  {Madrid (Spain)},
  date =    {October},
  year=    "2004"
  pages= 
}