BibTex format
@inbook{Finkelstein:1993,
author = {Finkelstein, A and Kramer, J and Nuseibeh, B},
booktitle = {Safety-Critical Systems: Current issues, techniques and standards},
pages = {90--101},
publisher = {Chapman & Hall},
title = {ViewPoint-Oriented Development: applications in composite systems},
year = {1993}
}